https://dasbestelexikon.de/de/wiki/Halbring_(Algebraische_Struktur)